1
Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

წელი:
2010
ენა:
english
ფაილი:
PDF, 5.20 MB
0 / 5.0
english, 2010
2
Concrete Semantics with Isabelle/HOL

Concrete Semantics with Isabelle/HOL

წელი:
2017
ენა:
english
ფაილი:
PDF, 1.55 MB
0 / 5.0
english, 2017
3
Concrete Semantics: With Isabelle/HOL

Concrete Semantics: With Isabelle/HOL

წელი:
2014
ენა:
english
ფაილი:
PDF, 3.97 MB
0 / 0
english, 2014